Supercompact extender based Magidor–Radin forcing
نویسندگان
چکیده
منابع مشابه
Supercompact extender based Prikry forcing
The extender based Prikry forcing notion is being generalized to supercompact extenders.
متن کاملExtender Based Radin Forcing
We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequenes with Radin forcing. We show that this forcing satisfies a Prikry like condition destroys no cardinals, and has a kind of properness. Depending on the large cardinals we start with this forcing can blow the p...
متن کاملModified Extender based forcing
We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.
متن کاملDiagonal Supercompact Radin Forcing
In this paper we consider two methods for producing models with some global behavior of the continuum function on singular cardinals and the failure of weak square. The first method is as an extension of Sinapova’s work [21]. We define a diagonal supercompact Radin forcing which adds a club subset to a cardinal κ while forcing the failure of SCH everywhere on the club. The intuition from Sinapo...
متن کاملSome Applications of Supercompact Extender Based Forcings to Hod
Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V . In particular, a model with all regular uncountable cardinals measurable in HOD is constructed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2017
ISSN: 0168-0072
DOI: 10.1016/j.apal.2017.02.006